div#toc {
    padding: 10px;
    margin: 10px;
    float: right;
    border: 1px solid;
}
